haslink($l$; $m$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$mlnk($m$) = $l$